beta reduction - English Synonyms Dictionary